ตรรกศาสตร์เชิงคณิตศาสตร์

[_tak_ka_sāt -choēng ¯kha¯nit_ta_sāt]

n. exp.

mathematical logic ; symbolic logic